/*
#include <stdio.h>

#include "file.h"

#include "probleme.h"


 int main (int argc, char *argv[]) {
 Probleme *problemePose;
  
 Etat *etatInit, *etatCourant, *e;

  File *file ;

  #ifndef _UNE_SOLUTION_

  int nbSolutions= 0;
#endif


  char infos[80];
  
  if (argc ==2 ) {
    problemePose=initProbleme(argv[1]);
    if ( problemePose== NULL) {
      fprintf(stderr, "Probleme invalide %s\n", argv[1]);
      exit(1);
    }
 }
    else {
      fprintf(stderr, "Appel Obligatoire \n\n %s   nomFichierDEDescriptionDuProbleme \n", argv[0]);
      exit(1);
   
  }

  file= nouvelleFile();

  
  etatInit = premierEtat(problemePose);

  enfiler(file, etatInit);


  while( ! estVide(file)) {
    etatCourant=defiler(file);
    if(estSolution(problemePose, etatCourant)) {
	 imprimerEtat(problemePose, etatCourant) ;
	 libererEtat(etatCourant);
#ifdef  _UNE_SOLUTION_ 
	 break;
#else 
	 nbSolutions++;
	 continue;
#endif
    }
    e=etatCourant;
    if ( ! estEchec(problemePose, etatCourant) ){
      etatCourant=etatSuivant(problemePose, etatCourant);
      while ( etatCourant  != NULL){
#ifdef _SANS_DOUBLON_
	enfilerUnique(file, problemePose, etatCourant);
#else  
	enfiler(file, etatCourant);
#endif
	etatCourant=etatSuivant(problemePose, NULL);
      }

  
    }
    libererEtat(e);
  }
 
  
#ifdef _UNE_SOLUTION_ 
  sprintf(infos, "Longueur maximale de la file, %d\n ", longueurMax(file));
#else
  sprintf(infos, "Longueur maximale de la file, %d\n Nombre de solutions %d \n ", 
	 longueurMax(file),nbSolutions);
#endif


  libererFile(file);

  terminerProbleme(problemePose, 1, infos); 
 
  return 0;
}
*/
